退火温度对Fe基纳米晶粉芯磁致频移特性影响的研究

研究了充有不同温度退火Fe基纳米晶粉芯LC回路的磁致频移特性（MFS），发现充有不同温度退火Fe基纳米晶粉芯LC回路的磁致频移不同，充有经600℃退火Fe基纳米晶粉芯LC回路的磁致频移最灵敏。     

A compact optical heterodyne interferometer by optical integration and its application

A compact high-resolution optical heterodyne interferometer combining a two-frequency light module and a minute optical system is described. The light module, which generates two independent frequencies of light, is fabricated by proton exchange method on LiNbO₃ substrate. We report an experiment evaluating measurement accuracy using a micro-displacement measurement system which incorporates this interferometer. Results of the experiment with a standard thickness sample show high thermal stability with maximum measurement error of 1.8 nm at a temperature from 19°C to 33°C. The system was used to measure the hysteresis of a piezoelectric element for displacements of several nm, thereby making it possible to analyze the system quantitatively in practice.     

应用LiNbO_3声表面波驱动的全光纤声光频移器

介绍一种工作在10.7MHz的全光纤声光频移器.它由在LiNbO_3基片上制作的叉指电极换能器产生的声表面波驱动.当驱动电功率1.5W时,频移光转换效率达35％.     

双包层椭圆光波导解析解

解析求解了双包层椭圆光纤中的波动方程，得到了模式精确解有模式特征方程。对基模的特征方程进行了数值计算，给出了不同椭圆比下的归一化双折射和模间色散随归一化频率的变化关系曲线，并与高斯近似解的结果进行了比较。     

矩孔金属光栅矢量模式理论的数值计算

根据矩孔金属光栅的矢量模式理论，计算了不同入射方向，波长及偏振态情况下衍射场的分布，研究了不同光栅结构对衍射效率，偏振态变化的影响；同时，根据实际需要，加工制作了一批不同深度的矩孔光栅样品，进行了实验测量，并将计算值与实验值进行了比较，两者基本相符。     

Validation of an optimization procedure to improve low frequency characteristics of rooms

A set of experiments was carried out to validate an optimization procedure based on finite element method (FEM). The idea of the procedure, fully presented in previous edition of this journal [Zhu X, Zhu Z, Cheng J. Using optimized surface modifications to improve low frequency response in a room. Appl Acoust 2004;65:841-60], is to produce an optimal geometry modification on the wall for improving low frequency sound uniformity in small rooms. Four experimental models were set up with a scale of 1:5. One was modified according to the optimized result and the others were treated with no optimization consideration. Measured frequency responses of four rooms were compared with numerical results calculated by FEM models. The transient responses in these rooms were also measured and analyzed. The agreements between calculation and measurement are satisfactory though the discrepancies due to the uncertainty of acoustic behavior of the room boundaries remain. The optimization procedure has been supported by the results that the optimized room produces the flattest frequency response and also the most smooth energy decay within the frequency range studied. The reductions of response fluctuation have reached 4.3 dB for prediction and 2.6 dB for measurement, respectively.     

ON THE INADEQUACY OF THE RELATIONAL SEMANTIC FOR THE “UNTIL” OPERATOR

Modal logics with the binary operator Until are considered. It is shown that there exists a continuum of consistent U-logics without Kripke frames, and that each U-logic whose class of order does not have the finite frame property.     

Preservativity logic: An analogue of interpretability logic for constructive theories

In this paper we study the modal behavior of Σ‐preservativity, an extension of provability which is equivalent to interpretability for classical superarithmetical theories. We explain the connection between the principles of this logic and some well‐known properties of HA, like the disjunction property and its admissible rules. We show that the intuitionistic modal logic given by the preservativity principles of HA known so far, is complete with respect to a certain class of frames.     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

振动系统的模态分析实验设计

利用模态分析原理和简单试验仪器，得到了直观的悬臂梁和圆盘前4阶模态振型，使学生熟悉了模态分析原理和测试方法，有利于学生对振动规律的理解．